#
# Copyright 2018, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
#

include(${SEL4_TUTORIALS_DIR}/settings.cmake)
sel4_tutorials_regenerate_tutorial(${CMAKE_CURRENT_SOURCE_DIR})

cmake_minimum_required(VERSION 3.7.2)
# declare the dynamic-2 CMake project and the languages it is written in
project(dynamic-2 C ASM)

sel4_tutorials_setup_roottask_tutorial_environment()

add_executable(dynamic-2 main.c)

target_link_libraries(dynamic-2
    sel4
    muslc utils sel4tutorials
    sel4muslcsys sel4platsupport sel4utils sel4debug sel4allocman)

include(rootserver)
DeclareRootserver(dynamic-2)

/*? macros.cmake_check_script(state) ?*/
